/**
 * 
 */
package pl.edu.mimuw.irs.core.model.petrinet;

/**
 * @author Jakub Rauch
 * Created on: 2010-03-02
 */
public interface IPlace extends INode {

	/** Returns the count of tokens currently contained by this place. */
	public abstract int getTokens();

	/** Sets the exact count of tokens which are contained by this place. */
	public abstract void setTokens(int tokens);

	/**
	 * Removes num tokens from this place.
	 * @param num
	 */
	public abstract void removeTokens(int num);

	/**
	 * Puts num tokens to this place.
	 * @param num
	 */
	public abstract void addTokens(int num);

}